Section: Partnerships and Cooperations

European Initiatives

FP7

MEALS

• Title: Mobility between Europe and Argentina applying Logics to Systems

• Program: FP7

• Instrument: International Research Staff Exchange Scheme

• Duration: October 2011 - September 2015

• Coordinator: Pedro D'Argenio

• Partners:

  • Imperial College of Science, Technology and Medicine (United Kingdom)

  • Rheinisch-Westfaelische Technische Hochschule Aachen (Germany)

  • Technische Universiteit Eindhoven (Netherlands)

  • Technische Universitaet Dresden (Germany)

  • University of Leicester (United Kingdom)

  • Universitaet Desarlandes (Germany)

  • Universidad de Córdoba (Argentina)

  • Universidad de Buenos Aires (Argentina)

• Inria contact: Castuscia Palamidessi

• Abstract:The MEALS project (Mobility between Europe and Argentina applying Logics to Systems) goals cover three aspects of formal methods: specification (of both requirement properties and system behavior), verification, and synthesis. The Indes members are involved in the task of Security and Information Flow Properties (WP3). The partners in this task include University of Buenos Aires, University of Córdoba, Inria (together with Catuscia Palamidessi, Kostas Chatzikokolakis, Miguel Andrés) and University of Twente. The web page of the project can be found at http://www.meals-project.eu .

RAPP

• Program: http://rapp-project.eu

• Title: Robot App Store

• Collaborator: Inria Coprin

• Abstract: RAPP is a 36 months pan-european FP7 project, started in December 2013. Hop is used in the development of prototypes of the Coprin Ang rollator transfer device, for mobility assistance and activity monitoring.

Collaborations in European Programs, except FP7 & H2020

• Program: ICT Cost Action IC1201

• Project acronym: BETTY

• Project title: Behavioural Types for Reliable Large-Scale Software Systems

• Duration: October 2012 - October 2016

• Coordinator: Simon Gay, University of Glasgow

• Other partners: Several research groups, belonging to 22 european countries

• Abstract: The aim of BETTY is to investigate and promote behavioural type theory as the basis for new foundations, programming languages, and software development methods for communication-intensive distributed systems. Behavioural type theory encompasses concepts such as interfaces, communication protocols, contracts, and choreography.

• Program: ICT Cost Action IC1405

• Project title: Reversible computation - extending horizons of computing

• Duration: November 2014 - November 2018

• Coordinator: Irek Ulidowski, University of Leicester

• Abstract: Reversible computation is an emerging paradigm that extends the standard forwards mode of computation with the ability to execute in reverse. It aims to deliver novel computing devices and software, and to enhance traditional systems. The potential benefits include the design of reversible logic gates and circuits - leading to low-power computing and innovative hardware for green ICT, new conceptual frameworks and language abstractions, and software tools for reliable and recovery-oriented distributed systems.

  This Action is the first European network of excellence aimed at coordinating research on reversible computation.